1. Artificial intelligence :
پدیدآورنده: George F. Luger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Códigos de corrección (Teoría de la información).,Inteligencia artificial.,Solución de problemas.
رده :
Q335
.
L84
2009
2. Hands-on AI with Java: smart gaming, robotics, and more
پدیدآورنده: Wise, Edwin.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Java )Computer program language(,، Artificial intelligence
رده :
QA
76
.
73
.
W5H3
3. Hands-on artificial intelligence with Java for beginners :
پدیدآورنده: Nisheeth Joshi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Computer programs.,Java (Computer program language),Machine learning.,Problem solving-- Computer programs.,Artificial intelligence-- Computer programs.,COMPUTERS-- Intelligence (AI) & Semantics.,Java (Computer program language),Machine learning.,Problem solving-- Computer programs.
رده :
QA76
.
73
.
J38
4. Interdisciplinary Computing in Java Programming
پدیدآورنده: by Sun-Chong Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Information theory.,Mathematical optimization.,Systems theory.
5. Logic programming with Prolog /
پدیدآورنده: Max Bramer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
6. Practical Java programming for IoT, AI, and Blockchain /
پدیدآورنده: Dr. Perry Xiao
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development.,Artificial intelligence.,Blockchains (Databases),Computer programming.,Internet of things.,Java (Computer program language),Application software-- Development.,Artificial intelligence.,Blockchains (Databases),Computer programming.,Internet of things.,Java (Computer program language)
رده :
QA76
.
73
.
J38
X536
2019
7. The innovation in computing companion :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
8. Verification of object-oriented software
پدیدآورنده: / Bernhard Beckert, Reiner Heahnle, Peter H. Schmitt (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Verification,Object-oriented methods (Computer science),Java (Computer program language)
رده :
QA
,
76
.
76
,.
V47
,
V474
,
2007
9. Verification of object-oriented software : the KeY approach
پدیدآورنده: Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
4334
